منابع مشابه
Lines Pinning Lines
A line ` is a transversal to a family F of convex polytopes in R if it intersects every member of F . If, in addition, ` is an isolated point of the space of line transversals to F , we say that F is a pinning of `. We show that any minimal pinning of a line by polytopes in R such that no face of a polytope is coplanar with the line has size at most eight. If in addition the polytopes are pairw...
متن کاملLower Bounds for Pinning Lines by Balls
A line l is a transversal to a family F of convex objects in R if it intersects every member of F . In this paper we show that for every integer d ≥ 3 there exists a family of 2d− 1 pairwise disjoint unit balls in R with the property that every subfamily of size 2d − 2 admits a transversal, yet any line misses at least one member of the family. This answers a question of Danzer from 1957. Key-w...
متن کاملPinning time statistics for vortex lines in disordered environments.
We study the pinning dynamics of magnetic flux (vortex) lines in a disordered type-II superconductor. Using numerical simulations of a directed elastic line model, we extract the pinning time distributions of vortex line segments. We compare different model implementations for the disorder in the surrounding medium: discrete, localized pinning potential wells that are either attractive and repu...
متن کاملProduct Lines of Product Lines
A Software Product Line (SPL) is a set of related programs. A SPL of a SPL (SPL), or a product line of a product line, is a fundamental scaling of product line concepts. A member of a SPL is not a program, but a SPL. The idea recurses: a SPL is a SPL of a SPL, and so on. The depth of recursion is the rank of the product line. We present an algebra to understand and build feature-based product l...
متن کاملTransmission Lines Transmission Lines Fabric Port
We describe our experiences verifying real communications hardware using machine-assisted proof. In particular we re ect on the errors found, problems encountered and the bottlenecks that slowed the progress of the proofs. We also note techniques which would alleviate the problems. Most of the problems we discuss only become signi cant when large designs are veri ed.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete & Computational Geometry
سال: 2010
ISSN: 0179-5376,1432-0444
DOI: 10.1007/s00454-010-9288-6